ＦｏｒｃｉｎｇｗｉｔｈＰｒｏｐｅｒＣｌａｓｓｅｓＬｉＮａ（ＤｅｐａｒｔｍｅｎｔｏｆＰｏｌｉｔｉｃｓ，ＨｅｎａｎＵｎｉｖｅｒｓｄｙ，Ｋａｉｆｅｎｇ，４７５００１）Ａｂｓｔｒａｃｔ：Ｔｈｉｓｐａｐｅｒ，ｕｓｉｎｇｔｈｅｍｏｄｅｌＲΔ（Ｂ）－ａｇｅｎｅｒａ.........

本文证明模态系统P1的协调性.为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P1和严格蕴涵系统S1等价.......